Skip to content

Conversation

@freakboy3742
Copy link
Contributor

@freakboy3742 freakboy3742 commented Jul 9, 2025

With the restoration of an Emscripten buildbot, plus python/cpython#136230 and python/steering-council#256, we are now in a position to formally restore Emscripten to Tier 3.


📚 Documentation preview 📚: https://pep-previews--4490.org.readthedocs.build/

@freakboy3742 freakboy3742 requested a review from brettcannon as a code owner July 9, 2025 02:27
@AA-Turner AA-Turner changed the title Restore Emscripten to Tier 3. PEP 11: Restore Emscripten to Tier 3 Jul 9, 2025
Copy link
Contributor

@willingc willingc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @freakboy3742!

@freakboy3742
Copy link
Contributor Author

Thank you @freakboy3742!

You're welcome, of course... but @hoodmane deserves most of the credit here.

@freakboy3742
Copy link
Contributor Author

(Also - checking protocol here: am I allowed to merge this? The merge button is enabled for me... but I'm not sure about the protocol around the peps repo)

Copy link
Member

@AA-Turner AA-Turner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Congratulations both!

A

@AA-Turner AA-Turner merged commit 25cec5d into python:main Jul 9, 2025
6 checks passed
@freakboy3742 freakboy3742 deleted the emscripten-tier-3 branch July 9, 2025 03:41
@AA-Turner
Copy link
Member

am I allowed to merge this?

Sorry for missing this (hadn't refreshed the page). A while ago (I believe pre-GitHub), commit access on peps was restricted to PEP Editors only. This was broadened to all core developers for ease-of-life again I believe around the GitHub migration, so the merge button is very intentional! For changes to non-Draft PEPs, though, it can be sensible to have people double-check the change prior to merge.

A

@hoodmane
Copy link
Contributor

hoodmane commented Jul 9, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants